$\forall$$a$, $b$:$\mathbb{N}$. ($a$ $\sim$ $b$) $\Leftrightarrow$ $a$ $=$ $b$ $\in$ $\mathbb{Z}$